-
Notifications
You must be signed in to change notification settings - Fork 88
New issue
Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? # to your account
Use CHaP 🤖 #576
Use CHaP 🤖 #576
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Nice! Builds on my machine 💪
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
🎉 I ♡ the amount of code this remove in cabal.project
|
||
Because of how we use Nix to manage our Haskell build, whenever you do this you | ||
will also need to pull in the Nix equivalent of the newer `index-state`. You can | ||
do this by bumping the `haskellNix` to a newer tag in our `default.nix`. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Suggestion: Mention the possibility of a conflict, eg. trying to pull newer hackage index than supported by haskell.nix? It happened to me a couple of months ago
@@ -349,7 +349,7 @@ test-suite tests | |||
, plutus-ledger-api | |||
, process | |||
, QuickCheck | |||
, quickcheck-dynamic | |||
, quickcheck-dynamic <2.0.0 |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
this formatting looks weird, I guess that's cabal-fmt
but I am not keen on "tables" in text
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Yes. This was automatic by cabal-fmt
Transactions CostsSizes and execution budgets for Hydra protocol transactions. Note that unlisted parameters are currently using
Cost of Init Transaction
Cost of Commit TransactionCurrently only one UTxO per commit allowed (this is about to change soon)
Cost of CollectCom Transaction
Cost of Close Transaction
Cost of Contest Transaction
Cost of Abort TransactionSome variation because of random mixture of still initial and already committed outputs.
Cost of FanOut TransactionInvolves spending head output and burning head tokens. Uses ada-only UTxO for better comparability.
|
This will make dependency management (hopefully) a lot simpler and improve UX with cabal and nix(haskell.nix)
This will result in quite some rebuilds, but our nix cache is now containing ALL the cardano haskell packages 🎉
For some reason we need to fetch the CHaP index and this does not play well with pure nix-shells. Alternative would've been to add TLS capability to the nix-shell .. I guess. But this is not important enough that I would bother now.
🤖 The Cardano Haskell Packages (CHaP) will make our life's simpler by forcing our upstream dependencies to version & release their code, and we don't need to keep
source-repository-package
entries in thecabal.project
🤖 Added the CHaP index to
cabal.project
and made it work using nix. The nix shell will now compile (or download) & provide most third-party dependencies to us.🤖 Only exception:
cardano-api
where only version1.35.3
is in CHaP, which does not include our upstreamed changes. Needed to backport the two commits and keep thesource-repository-package
stanza for that one.